GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Prolog (Programmiersprache)</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Prolog (Programmiersprache)</h1>

</header>

</div>

<th colspan="2" class="hintergrundfarbe6" style="font-size:larger;">Prolog

</th></tr>

<tr>

<th colspan="2" class="hintergrundfarbe5" style="font-size:105%; text-align:center;">Basisdaten

</th></tr>

<tr>

<td><a href="Programmierparadigma" title="Programmierparadigma">Paradigmen</a>:

</td>

<td><a href="Logische_Programmierung" title="Logische Programmierung">logisch</a>, <a href="Deklarative_Programmierung" title="Deklarative Programmierung">deklarativ</a>, oft auch <a href="Constraintprogrammierung" title="Constraintprogrammierung">constraintbasiert</a>

</td></tr>

<tr>

<td>Erscheinungsjahr:

</td>

<td>1972

</td></tr>

<tr>

<td>Designer:

</td>

<td><a href="Alain_Colmerauer" title="Alain Colmerauer">Alain Colmerauer</a>

</td></tr>

<tr>

<td>Entwickler:

</td>

<td>Philippe Roussell

</td></tr>

<tr>

<td><a href="Typisierung_(Informatik)" title="Typisierung (Informatik)">Typisierung</a>:

</td>

<td><a href="Schwache_Typisierung" class="mw-redirect" title="Schwache Typisierung">schwach</a>, <a href="Dynamische_Typisierung" title="Dynamische Typisierung">dynamisch</a>

</td></tr>

<tr>

<td>Wichtige <a href="Implementierung" title="Implementierung">Implementierungen</a>:

</td>

<td>SICStus, SWI-Prolog, GNU Prolog, XSB, YAP-Prolog

</td></tr>

<tr>

<td>Dialekte:

</td>

<td>ISO-Prolog, Edinburgh Prolog, BinProlog, Visual/Turbo Prolog; historisch: micro-Prolog

</td></tr>

<tr>

<td>Standardisierungen:

</td>

<td>ISO/IEC 13211-1:1995

</td></tr>

<tr>

<td>Beeinflusst von:

</td>

<td>Planner, Q-Systems, <a href="Maschinengest%C3%BCtztes_Beweisen" title="Maschinengestütztes Beweisen">Theorembeweiser</a>, <a href="Horn-Formel" title="Horn-Formel">Horn-Klauseln</a>

</td></tr>

<tr>

<td>Beeinflusste:

</td>

<td><a href="Erlang_(Programmiersprache)" title="Erlang (Programmiersprache)">Erlang</a>, <a href="Mercury_(Programmiersprache)" title="Mercury (Programmiersprache)">Mercury</a>, <a href="Oz_(Programmiersprache)" title="Oz (Programmiersprache)">Mozart/Oz</a>, Picat

</td></tr>

</tbody></table>

Prolog (vom <a href="Franz%C3%B6sische_Sprache" title="Französische Sprache">Französischen</a>: programmation en logique,<a href="#cite_note-1">[1]</a> deutsch: „Programmieren in Logik“) ist eine <a href="Programmiersprache" title="Programmiersprache">Programmiersprache</a>, die Anfang der 1970er Jahre maßgeblich von dem französischen <a href="Informatik" title="Informatik">Informatiker</a> <a href="Alain_Colmerauer" title="Alain Colmerauer">Alain Colmerauer</a> entwickelt wurde und ein <a href="Deklarative_Programmierung" title="Deklarative Programmierung">deklaratives Programmieren</a> ermöglicht. Sie gilt als die wichtigste <a href="Logische_Programmierung" title="Logische Programmierung">logische Programmiersprache</a>.

Erste Implementierungen wichen in ihrer <a href="Syntax" title="Syntax">Syntax</a> stark voneinander ab, aber der <a href="Edinburgh" title="Edinburgh">Edinburgh</a>-Dialekt setzte sich bald als Quasistandard durch. Er war jedoch nicht formal definiert,<a href="#cite_note-c+m-2">[2]</a> bis er 1995 zur Grundlage eines <a href="Internationale_Organisation_f%C3%BCr_Normung" title="Internationale Organisation für Normung">ISO</a>-Standards wurde (ISO/IEC 13211-1), der auch ISO-Prolog genannt wird.

Der erste Prolog-<a href="Interpreter" title="Interpreter">Interpreter</a> wurde in <a href="Marseille" title="Marseille">Marseille</a> in <a href="Algol_W" title="Algol W">ALGOL W</a> realisiert. Der erste Ansatz für einen <a href="Compiler" title="Compiler">Compiler</a> stammte von <a href="David_H._D._Warren" title="David H. D. Warren">David H. D. Warren</a> aus Edinburgh. Dieser hatte als Zielsprache die des Logik-Prozessors <a href="Warren%E2%80%99s_Abstract_Machine" title="Warren’s Abstract Machine">Warren’s Abstract Machine</a> und erlaubte deshalb weder dynamische Änderungen noch einen Anschluss rücksetzbarer Prädikate in anderen Programmiersprachen. Der erste voll nutzbare Compiler, der beides erlaubte, wurde von Preben Folkjaer und Christian Pichler in <a href="M%C3%BCnchen" title="München">München</a> entwickelt. Er verwandte einen anderen, von der <a href="Technische_Universit%C3%A4t_Wien" title="Technische Universität Wien">TU Wien</a> stammenden Zwischencode, der inkrementell kompiliert wurde; wurden Prädikate verändert, wurde das Kompilat gelöscht und beim nächsten Aufruf neu kompiliert.

<div class="mw-heading mw-heading2"><h2 id="Grundprinzip">Grundprinzip</h2></div>

Prolog-Programme bestehen aus einer <a href="Wissensdatenbank" title="Wissensdatenbank">Wissensdatenbank</a>, deren Einträge sich Fakten und Regeln nennen. Der Benutzer formuliert Anfragen an diese Wissensdatenbank.

Der Prolog-Interpreter benutzt die Fakten und Regeln, um systematisch eine Antwort zu finden.

Ein positives Resultat bedeutet, dass die Anfrage logisch ableitbar ist. Ein negatives Resultat bedeutet nur, dass aufgrund der Datenbasis keine Ableitung gefunden werden kann.

Dies hängt eng mit der <a href="Closed_world_assumption" title="Closed world assumption">Closed world assumption</a> zusammen (siehe unten).

Das typische erste Programm in Prolog ist nicht wie in prozeduralen Programmiersprachen ein <a href="Hallo-Welt-Programm" title="Hallo-Welt-Programm">Hallo-Welt</a>-Beispiel, sondern eine Wissensdatenbank mit Stammbauminformationen.

Folgendes Beispiel repräsentiert den <a href="Stammbaum" title="Stammbaum">Stammbaum</a> einer kleinen Familie.

Das erste Faktum in Form einer Aussage <code>mann(tobias).</code> liest sich als: Tobias ist ein Mann. <code>vater(tobias, frank).</code> definiert das Faktum: Tobias ist der Vater von Frank. Für Hinweise zum Laden von Prolog-Texten siehe entsprechenden Abschnitt:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>% Prolog-Text mit Fakten

mann(adam).

mann(tobias).

mann(frank).

frau(eva).

frau(daniela).

frau(ulrike).

vater(adam, tobias).

vater(tobias, frank).

vater(tobias, ulrike).

mutter(eva, tobias).

mutter(daniela, frank).

mutter(daniela, ulrike).

</pre></div>

In einem Prolog-Interpreter können nun interaktiv Anfragen an die Datenbasis gestellt werden. Das Ausführen eines Prolog-Programms bedeutet immer das Stellen einer Anfrage.

Das System antwortet entweder mit <code>yes.</code>/<code>true.</code> oder <code>no.</code>/<code>false.</code>, abhängig davon, ob die Anfrage bewiesen werden konnte.

Der Interpreter signalisiert mit der <a href="Eingabeaufforderung" class="mw-redirect" title="Eingabeaufforderung">Eingabeaufforderung</a> <code>?-</code>, dass er eine Anfrage erwartet:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- mann(tobias).

yes.

?- mann(heinrich).

no.

</pre></div>

Eine Anfrage mit einer Variablen liefert als Antwort zusätzlich Belegungen, mit denen die Anfrage wahr wird. Man nennt eine solche Variablenbelegung <a href="Unifikation_(Logik)" title="Unifikation (Logik)">Unifikation</a> und sagt, die Variable wird mit diesem Wert unifiziert. Variablen sind in Prolog <a href="Token_(%C3%9Cbersetzerbau)" title="Token (Übersetzerbau)">Token</a>, die mit einem Großbuchstaben beginnen:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- frau(X).

X=eva

X=daniela

X=ulrike

</pre></div>

no ist die Antwort auf die um die vorher ausgegebenen Antworten reduzierte Faktenliste.

Der Interpreter liefert nur positive Antworten auf Anfragen, die explizit definiert oder folgerbar sind (Closed world assumption). So liegen etwa über heinrich keinerlei Informationen in der Datenbasis:

no.

?- frau(heinrich).

no.

</pre></div>

Zusätzlich zu Fakten lassen sich in Prolog Regeln formulieren.

Der Regeloperator <code>:-</code> ist dabei wie ein umgedrehter <a href="Implikation" title="Implikation">Implikationspfeil</a> zu lesen. Beispiel:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>% Prolog Text mit Regel

grossvater(X, Y) :-

vater(X, Z),

vater(Z, Y).

</pre></div>

Die Regel besagt: X ist Großvater von Y, wenn es ein Z gibt, sodass X Vater von Z ist und Z Vater von Y. Damit ist der Großvater väterlicherseits definiert.

Eine zweite Regel für den Großvater mütterlicherseits sieht so aus:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>grossvater(X, Y) :-

vater(X, Z),

mutter(Z, Y).

</pre></div>

Der Operator <code>,</code> in dieser Regel definiert eine <a href="Konjunktion_(Logik)" title="Konjunktion (Logik)">Konjunktion</a> und wird und gesprochen.

Der Term links vom Implikationsoperator nennt sich auch Head oder Konsequenz.

Haben zwei Regeln (wie oben) die gleiche Konsequenz, folgt

diese, wenn mindestens in einer Regel die Vorbedingung erfüllt ist (<a href="Disjunktion" title="Disjunktion">Disjunktion</a>).

Durch die Definition von Regeln kann auch auf Fakten geschlossen werden, die nicht explizit in der Datenbasis stehen:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- grossvater(adam, ulrike).

yes.

?- grossvater(X, frank).

X=adam

</pre></div>

<div class="mw-heading mw-heading2"><h2 id="Syntax">Syntax</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Boolesche_Algebra">Boolesche Algebra</h3></div>

Das <a href="Konjunktion_(Logik)" title="Konjunktion (Logik)">logische Und</a> wird durch ein <a href="Komma" title="Komma">Komma</a> dargestellt:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- true,true.

true.

?- true,false.

false.

?- false,true.

false.

?- false,false.

false.

</pre></div>

Das <a href="Disjunktion" title="Disjunktion">logische Oder</a> wird durch ein <a href="Semikolon" title="Semikolon">Semikolon</a> dargestellt:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- true;true.

true.

?- true;false.

true.

?- false;true.

true.

?- false;false.

false.

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Vergleiche">Vergleiche</h3></div>

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- 3 < 4.

true.

?- 3 > 4.

false.

?- anton == anton. % == prüft ob das muster links und rechts übereinstimmt

true.

?- 3 == 1+2. % muster stimmt nicht überein

false.

?- 3 \== 1+2. % \== prüft ob das muster links und rechts nicht übereinstimmt

true.

?- 3 =:= 1+2. % =:= ist der numerische vergleich

true.

?- 3 =\= 4. % =\= die numerische Ungleichheit

true.

?- 3 =\= 1+2. % 3=3

false.

?- 3 =< 4. % =< bedeutet kleiner/gleich; '<=' ist nicht zulässig

true.

?- 3 >= 4. % >= bedeutet größer/gleich

false.

?- 4 \= 2. % \= prüft ob unifikation unmöglich ist

true.

?- X + 4 \= 2 + Y. % Durch X=2 und Y=4 (unifikation) werden die muster identisch

false.

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Regeln">Regeln</h3></div>

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>% Wenn X Vater von Z ist und Z Vater von Y ist, dann ist X Großvater von Y

grossvater(X, Y) :-

vater(X, Z),

vater(Z, Y).

% Adam ist der Vater von Tobias

vater(adam, tobias).

% Tobias ist der Vater von Frank

vater(tobias, frank).

% Abfrage ob Adam der Großvater von Frank ist

?- grossvater(adam, frank).

true.

</pre></div>

<div class="mw-heading mw-heading4"><h4 id="Symmetrische_Relation">Symmetrische Relation</h4></div>

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>% anton und berta sind ein Ehepaar

ehepaar(anton, berta).

% das Ehepaar X Und Y ist genau dann ein Ehepaar,

% wenn ein Ehepaar Y Und X existiert

ehepaar(X, Y) :- ehepaar(Y, X).

% Abfrage ob Berta und Anton ein Ehepaar sind

?- ehepaar(berta, anton).

true.

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Arithmetik">Arithmetik</h3></div>

Prolog kennt die Grundrechenarten, also <a href="Addition" title="Addition">Addition</a> <code>+</code>, <a href="Subtraktion" title="Subtraktion">Subtraktion</a> <code>-</code>, <a href="Multiplikation" title="Multiplikation">Multiplikation</a> <code>*</code>, <a href="Division_(Mathematik)" title="Division (Mathematik)">Division</a> <code>/</code> und <a href="Modulo" class="mw-redirect" title="Modulo">Modulo</a> <code>mod</code>. Die Zuweisung eines Wertes zu einer Variable erfolgt mit dem Schlüsselwort <code>is</code>. Im Gegensatz zu <a href="Imperative_Programmierung" title="Imperative Programmierung">imperativen Programmiersprachen</a> können in Prolog Variablenwerte nicht überschrieben werden.

<div class="mw-heading mw-heading3"><h3 id="Listen">Listen</h3></div>

Listen sind rekursive Datenstrukturen bestehend aus einem Kopf (Head) und einem Rest (Tail). Der Rest kann hierbei wieder aus Listen bestehen.

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>% Head ist die Zahl 1

% Tail ist die Liste [2]

[1, 2]

% Head ist die Zeichenkette 'one'

% Tail ist die Liste ['two']

['one', 'two']

% Listen können auch gemischt sein

[1, 'two']

% Head ist die Ziffer 1

% Tail ist die Liste [2,3]

[1, 2, 3]

</pre></div>

Um zu prüfen ob ein bestimmtes Element in einer Liste enthalten ist, wird die vordefinierte Funktion <code>member</code> verwendet:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>member(X, [X|_]).

member(X, [_|T]) :-

member(X, T).

?- member(2, ['anton','berta','caesar']).

false.

?- member('berta', ['anton','berta','caesar']).

true.

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Laden_von_Prolog-Texten">Laden von Prolog-Texten</h3></div>

Ein Prolog-Text kann direkt über die Konsole eingegeben werden. Dazu kann man auf

der Eingabezeile <code>[user]</code> tippen. Die Eingabe der Klauseln muss mit einem Dateienendezeichen abgeschlossen werden (^D oder ^Z je nach Plattform):

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- [user]. % tippe Prolog-Text direkt ein

append([], X, X).

append([X|Y], Z, [X|T]) :- append(Y, Z, T).

^D

</pre></div>

Alternativ kann ein Prolog-Text in einer Datei gespeichert werden und z. B. mit dem Prädikat <code>consult</code> geladen werden. Das Prädikat nimmt einen physischen Pfad zu einem Prolog-Text entgegen:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- consult('append.pl'). % lade Prolog Text-aus Datei

true.

</pre></div>

<div class="mw-heading mw-heading2"><h2 id="Weitere_Techniken">Weitere Techniken</h2></div>

Entscheidend für die Prolog-Programmierung sind die Techniken der <a href="Rekursion" title="Rekursion">Rekursion</a> und die Nutzung von <a href="Liste_(Datenstruktur)" title="Liste (Datenstruktur)">Listen</a>.

Ist die Rekursion in den meisten Programmiersprachen nur eine zusätzliche Variante zur <a href="Iteration" title="Iteration">Iteration</a>, ist sie bei der Prolog-Programmierung die einzige Möglichkeit, Schleifen zu produzieren. Benötigt man in obigem Beispiel eine allgemeine Vorfahr-Relation, wird das wie folgt realisiert („;“ zeigt in der Klausel die Disjunktion bzw. das logische „oder“):

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>% X ist genau dann ein elternteil von Y,

% wenn X die mutter von Y ist Oder

% wenn X der vater von Y ist.

elternteil(X, Y) :-

mutter(X, Y);

vater(X, Y).

% X ist einerseits dann ein vorfahr von Z,

% wenn X ein elternteil von Z ist.

vorfahr(X, Z) :- elternteil(X, Z).

% X ist andererseits dann ein vorfahr von Z, wenn

% X ein elternteil von Y ist Und

% Y ein vorfahre von Z ist

vorfahr(X, Z) :-

elternteil(X, Y),

vorfahr(Y, Z).

</pre></div>

Dies lässt sich wie folgt lesen: X ist ein Vorfahr von Z, wenn X Elternteil von Z ist (Regel 1) oder es ein Y gibt, das Vorfahr von Z ist und gleichzeitig X Elternteil von Y (Regel 2) (Es wurde hier elternteil statt mutter oder vater verwendet.)

Auch <a href="Liste_(Datenstruktur)" title="Liste (Datenstruktur)">Listen</a> sind ein entscheidender Bestandteil von Prolog. Die meisten Prolog-Implementationen bringen dafür viele Basisfunktionen mit („concat“ = Anhängen von Werten, „count“ = Anzahl der Werte etc.), die sich aber auch alle selbst definieren lassen. In einer gedachten Familienstruktur muss die Anzahl der Kinder ja variabel sein. Folgendes wäre denkbar:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>familie(heinz, jutta, [peter,laura]).

familie(karl, gertrud, []).

</pre></div>

Dann ließen sich z. B. mit einer Abfrage alle Männer ohne Kinder anzeigen:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- familie(X, _, []).

X=karl

</pre></div>

Dabei ist X die Variable, deren verschiedene Werte ausgegeben werden sollen. Der Unterstrich _ ist in Prolog die anonyme Variable, wodurch Prolog veranlasst wird hier jeden Wert zuzulassen. Die eckigen Klammern stehen für die leere Liste, welche die nicht vorhandenen Kinder repräsentiert.

Eine weitere Eigenschaft und Besonderheit gegenüber anderen Programmiersprachen ist, dass Prolog in der Lage ist, während der Laufzeit seine vorhandene Datenbank zu erweitern oder zu löschen. Ein Beispiel für das Löschen eines einzelnen Elements:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>auto(bmw, rot).

auto(bmw, blau).

autofarbe(Automarke, X) :-

retract(auto(bmw, _)),

auto(Automarke, X).

</pre></div>

Die Abfrage:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- auto(bmw, X).

</pre></div>

ergibt (anfänglich) ganz normal:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>X=rot;

X=blau;

No

</pre></div>

Die Abfrage:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>?- autofarbe(bmw, X).

</pre></div>

würde beim ersten Mal:

No

</pre></div>

beim zweiten Mal nur noch:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>No

</pre></div>

liefern, da die Informationen:

auto(bmw, blau).

</pre></div>

aus der Datenbank gelöscht wurden. Auch ?- auto(bmw,X) liefert jetzt nur noch No.

Zum Löschen aller gleichen Elemente (also z. B. auto()) auf einmal benutzt man retractall(), zum Ausgeben asserta() (oben in der Datenbank) und assertz() (unten in der Datenbank).

<div class="mw-heading mw-heading2"><h2 id="Beispiele">Beispiele</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Lösen_eines_mathematischen_Rätsels">Lösen eines mathematischen Rätsels</h3></div>

<pre>ABB - CD = EED

- - *

FD + EF = CE

= = =

EGD * FH = ???

</pre>

A bis H stehen jeweils für eine Ziffer 0 bis 9, wobei nicht klar ist, welche Ziffer welchem Buchstaben entspricht. Gesucht ist die Zahl, die bei den Fragezeichen stehen muss. Dieses Problem ist in Prolog sehr einfach zu lösen. Man schreibt zunächst eine Regel, die bewirkt, dass A bis H später mit allen möglichen Kombinationen von 0 bis 9 belegt werden (<a href="Permutation" title="Permutation">Permutation</a>):

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>gen(A,B,C,D,E,F,G,H) :-

permutation([A,B,C,D,E,F,G,H,_,_], [0,1,2,3,4,5,6,7,8,9]).

</pre></div>

Nun müssen nur die fünf entstehenden Gleichungen (ABB – CD = EED, FD + EF = CE, ABB – FD = EGD, CD – EF = FH und EED * CE = EGD * FH = X) in Prolog-Syntax geschrieben werden:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>gl1(A, B, C, D, E) :-

((A * 100 + B * 10 + B) - (C * 10 + D)) =:= (E * 100 + E * 10 + D).

gl2(C, D, E, F) :-

((F * 10 + D) + (E * 10 + F)) =:= (C * 10 + E).

gl3(A, B, D, E, F, G) :-

((A * 100 + B * 10 + B) - (F * 10 + D)) =:= (E * 100 + G * 10 + D).

gl4(C, D, E, F, H) :-

((C * 10 + D) - (E * 10 + F)) =:= (F * 10 + H).

gl5(C, D, E, F, G, H, X) :-

((E * 100 + E * 10 + D) * (C * 10 + E)) =:=

((E * 100 + G * 10 + D) * (F * 10 + H)), X is ((E * 100 + G * 10 + D) * (F * 10 + H)).

</pre></div>

Interessiert nur X, wird eine Lösungsregel angelegt, die alles zusammenführt und X ausgibt:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>loesung :-

gen(A, B, C, D, E, F, G, H),

gl1(A, B, C, D, E),

write(X).

</pre></div>

Wird nun die Abfrage loesung. eingegeben, wird die Lösung ausgegeben. Wie man sieht, benötigt man zur Lösung dieses Problems fast keine Programmierkenntnisse über Schleifen oder ähnliches, sondern gibt nur die Fakten ein und welches Ergebnis man benötigt. Prolog steht in der Abstraktionshierarchie aus genau diesem Grund über imperativen und objektorientierten Sprachen.

<div class="mw-heading mw-heading3"><h3 id="Bearbeitung_hierarchischer_Strukturen">Bearbeitung hierarchischer Strukturen</h3></div>

Eine häufig gestellte Aufgabe an Programmiersprachen ist die Verarbeitung hierarchischer Strukturen, wie z. B. <a href="SGML" class="mw-redirect" title="SGML">SGML</a> oder <a href="Extensible_Markup_Language" title="Extensible Markup Language">XML</a>. Insbesondere für XML bildet Prolog eine sehr wirkungsvolle und ausdrucksstarke Alternative zu der verbreitetsten Verarbeitungssprache <a href="XSL_Transformation" title="XSL Transformation">XSLT</a>.

Ein typischer XML-Baum wie

...

</buch>

</pre></div>

wird unter Prolog als rekursive Liste von Elementen element(TagName, Attribute, Kinder) dargestellt.

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>[element(buch, [titel='Peer Gynt'], [

element(autor, [name='Henrik Ibsen', nat='norwegisch'], []),

...])

]

</pre></div>

Ein sehr einfaches Paradigma (untere drei Klauseln) erlaubt es, jeden Baum rekursiv zu durchlaufen. Folgende Beispiele löschen (oberste Klausel mit delete) und konkatenieren (zweite Klausel von oben mit concat) bestimmte Tags. Der erste Unifikator ist die Operation (delete oder concat), der zweite die zu bearbeitende Struktur, der dritte das spezifizierte Tag, der vierte der Ergebnisbaum. append ist ein Befehl zum Konkatenieren von Listen.

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>transform(delete, [element(DelTag, _, _) | Siblings], DelTag, ResTree) :-

transform(delete, Siblings, DelTag, ResTree).

transform(concat, [Element1, Element2 | Siblings], ConTag, ResTree) :-

Element1 = element(Contag, Attr, Children1),

Element2 = element(Contag, _, Children2),

append(Children1, Children2, Children),

transform(concat, [element(ConTag, Attr, Children) | Siblings], ConTag, ResTree).

transform(_, [], _, []).

transform(Trans, [element(CTag, Attr, Children) | Siblings], Tag, ResTree) :-

\+ Tag = CTag,

transform(Trans, Children, Tag, ResChildren),

transform(Trans, Siblings, Tag, ResSiblings),

ResTree = [element(CTag, Attr, ResChildren) | ResSiblings].

transform(_, [Atom], _, [Atom]) :-

atomic(Atom).

</pre></div>

Stößt der <a href="Backtracking" title="Backtracking">Backtracker</a> bei der Operation delete auf ein Tag, das wie das zu löschende heißt, so wird dieses entfernt und bei den Nachbarn weitergesucht. Ein entsprechender Aufruf ist z. B. transform(delete, Tree, autor, ResTree)., der alle Autoren entfernt.

Ähnlich können durch transform(concat, Tree, paragraph, ResTree). alle nebeneinanderstehenden Paragraphen miteinander verschmolzen werden. Dazu werden zunächst deren Inhalte konkateniert, daraus eine neue Paragraphstruktur erzeugt und diese weiterverarbeitet.

<div class="mw-heading mw-heading3"><h3 id="Planungssysteme">Planungssysteme</h3></div>

Planungssysteme suchen eine Möglichkeit, von einem Ausgangszustand in einen gewünschten Zielzustand zu gelangen. Sie lassen sich für die Suche von Straßen- oder Verkehrsverbindungen, aber auch für allgemeinere Problemstellungen einsetzen. Zunächst der allgemeinste Ansatz für eine blinde <a href="Tiefensuche" title="Tiefensuche">Tiefensuche</a> (d. h., es ist unbekannt, ob der einzelne Schritt auch näher zum Ziel führt):

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>weg(Ziel, Ziel, Zustandsliste) :-

write(Zustandsliste), nl. % Ziel erreicht, Abbruch der Rekursion und Ausgabe

weg(Start, Ziel, Zustandsliste) :- % Es gibt einen Weg vom Start zum Ziel, wenn ...

operator(Op), % ... es einen Operator gibt, ...

anwendbar(Op, Start), % ... der im Startzustand anwendbar ist, ...

fuehrt_zu(Op, Start, Neu), % ... von dort zu einem neuen Zustand fuehrt, ...

not(member(Neu, Zustandsliste)), % ... der noch nie da war (Verhinderung von Schleifen) ...

zulaessig(Neu), % ... und zulaessig ist, ...

weg(Neu, Ziel, [Neu|Zustandsliste]). % ... und es von dort einen Weg zum Ziel gibt.

</pre></div>

Nur die Prädikate operator, anwendbar, fuehrt_zu und zulaessig sowie die Beschreibung eines Zustands sind problemspezifisch zu formulieren. Aufgerufen wird das Prädikat mit einer Zustandsliste, die den Anfangszustand enthält.

Abhängig vom Problemtyp lässt sich einiges vereinfachen und/oder weglassen; für eine Wegesuche in einem Straßennetz ergibt sich z. B.

weg(Start, Ziel, Ortsliste):- % Es gibt einen Weg vom Start zum Ziel, wenn ...

strasse(Start, Neu), % ... es eine Strasse vom Start zu einem neuen Ort gibt, ...

not(member(Neu, Ortsliste)), % ... in dem man noch nicht war (Verhinderung von Schleifen), ...

weg(Neu, Ziel, [Neu|Ortsliste]). % ... und von dem es einen Weg zum Ziel gibt.

</pre></div>

Bei realen Problemen führt eine blinde Suche selten zum Ziel; man benutzt eine Breitensuche, bei der alle vom Start aus erreichbaren neuen Zustände ermittelt, mit einer <a href="Heuristik" title="Heuristik">Heuristikfunktion</a> bewertet und nur der beste (Heuristische Suche) oder eine sortierte Liste der besten (Best-first-Suche) weiterverfolgt werden. (Die einfache heuristische Suche kann dazu führen, dass nicht immer die optimale Lösung gefunden wird, da bestimmte Lösungsschritte, die fälschlicherweise als ungünstig aussortiert wurden, in Wahrheit Teil einer besseren Lösung wären.) Die Kunst liegt in der richtigen problemspezifischen Formulierung der Heuristikfunktion. In vielen Fällen hilft die <a href="A*-Algorithmus" title="A*-Algorithmus">A*-Heuristik</a>, das ist die Summe aus bisher erbrachtem Aufwand und geschätztem Restaufwand zum Ziel (z. B. zurückgelegte Fahrtstrecke + Luftliniendistanz zum Zielort):

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>weg(Ziel, Ziel, Ortsliste, Strecke):-

write(Ortsliste), nl, write(Strecke), nl. % Ziel erreicht, Abbruch der Rekursion und Ausgabe

weg(Start, Ziel, Ortsliste, Strecke):- % Es gibt einen Weg vom Start zum Ziel, wenn...

findall(Ort, strasse(Start, Ort), Neuliste), % ...es eine Liste erreichbarer neuer Orte gibt,...

bewerte(Neuliste, Start, Strecke, Ziel, BewerteteListe), % ...von denen jeder bewertet und ...

sort(BewerteteListe, SortierteListe), % ...durch Sortieren der Liste...

member([_, Sgesamt, Neu], SortierteListe), % ...der beste gesucht wird,...

not(member(Neu, Ortsliste)), % ...in dem man noch nicht war,...

weg(Neu, Ziel, [Neu|Ortsliste], Sgesamt). % ...und von dem es einen Weg zum Ziel gibt.

</pre></div>

Jedes Element von BewerteteListe hat die Struktur [Heuristikwert,gesamte Fahrtstrecke,Ort]; zur Berechnung der A-Heuristik sind die bisherige Strecke, der letzte Ort und der Zielort (Luftlinie) erforderlich.

<div class="mw-heading mw-heading3"><h3 id="Einsteins_Rätsel">Einsteins Rätsel</h3></div>

Dies ist eine Version des <a href="Zebrar%C3%A4tsel" title="Zebrarätsel">Zebrarätsels</a>. Es wurde angeblich von <a href="Albert_Einstein" title="Albert Einstein">Albert Einstein</a> im 19. Jahrhundert verfasst. Einstein wird oft der Vermerk zugeschrieben, nur 2 % der Weltbevölkerung seien im Stande, das Rätsel zu lösen. Es existiert jedoch kein Hinweis auf jedwede Autorenschaft. Hier soll es ein Beispiel für ein Problem darstellen, das mit Prolog lösbar ist.

<ol><li>Es gibt fünf Häuser mit je einer anderen Farbe.</li>

<li>In jedem Haus wohnt eine Person anderer Nationalität.</li>

<li>Jeder Hausbewohner bevorzugt ein bestimmtes Getränk, raucht eine bestimmte Zigarettenmarke und hält ein bestimmtes Haustier.</li>

<li>Keine der fünf Personen trinkt das gleiche Getränk, raucht die gleichen Zigaretten oder hält das gleiche Tier wie seine Nachbarn.</li></ol>

Frage: Wem gehört der Fisch?

Hinweise:

<ul><li>Der Brite lebt im roten Haus.</li>

<li>Der Schwede hält einen Hund.</li>

<li>Der Däne trinkt gern Tee.</li>

<li>Das grüne Haus steht direkt links neben dem weißen Haus.</li>

<li>Der Besitzer des grünen Hauses trinkt Kaffee.</li>

<li>Die Person, die Pall Mall raucht, hält einen Vogel.</li>

<li>Der Mann, der im mittleren Haus wohnt, trinkt Milch.</li>

<li>Der Besitzer des gelben Hauses raucht Dunhill.</li>

<li>Der Norweger wohnt im ersten Haus.</li>

<li>Der Marlboro-Raucher wohnt neben dem, der eine Katze hält.</li>

<li>Der Mann, der ein Pferd hält, wohnt neben dem, der Dunhill raucht.</li>

<li>Der Winfield-Raucher trinkt gern Bier.</li>

<li>Der Norweger wohnt neben dem blauen Haus.</li>

<li>Der Deutsche raucht Rothmans.</li>

<li>Der Marlboro-Raucher hat einen Nachbarn, der Wasser trinkt.</li></ul>

Lösung:

Jedes Haus ist eine Liste der Form [Farbe, Nationalität, Getränk, Zigarettenmarke, Haustier].

Zuerst vier einfache Hilfsprädikate zur Listenbearbeitung:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>erstes(E, [E|_]).

mittleres(M, [_,_,M,_,_]).

links(A, B, [_|R]) :- links(A, B, R).

neben(A, B, L) :-

links(B, A, L).

</pre></div>

Lösungsprädikat:

<div class="mw-highlight mw-highlight-lang-prolog mw-content-ltr" dir="ltr"><pre>run :-

X = [_,_,_,_,_], % Es gibt (nebeneinander) 5 (noch unbekannte) Häuser

member([rot,brite,_,_,_], X), % Der Brite lebt im roten Haus

member([_,schwede,_,_,hund], X), % Der Schwede hält einen Hund

member([_,daene,tee,_,_], X), % Der Däne trinkt gern Tee

links([gruen,_,_,_,_], [weiss,_,_,_,_], X), % Das grüne Haus steht links vom weißen Haus

member([gruen, _, kaffee, _, _], X), % Der Besitzer des grünen Hauses trinkt Kaffee

member([_,_,_,pallmall,vogel], X), % Die Person, die Pall Mall raucht, hält einen Vogel

mittleres([_,_,milch,_,_], X), % Der Mann, der im mittleren Haus wohnt, trinkt Milch

member([gelb,_,_,dunhill,_], X), % Der Besitzer des gelben Hauses raucht Dunhill

erstes([_,norweger,_,_,_], X), % Der Norweger wohnt im 1. Haus

neben([_,_,_,marlboro,_], [_,_,_,_,katze], X), % Der Marlboro-Raucher wohnt neben dem, der eine Katze hält

neben([_,_,_,_,pferd], [_,_,_,dunhill,_], X), % Der Mann, der ein Pferd hält, wohnt neben dem, der Dunhill raucht

member([_,_,bier,winfield,_], X), % Der Winfield-Raucher trinkt gern Bier

neben([_,norweger,_,_,_], [blau,_,_,_,_], X), % Der Norweger wohnt neben dem blauen Haus

member([_,deutsche,_,rothmans,_], X), % Der Deutsche raucht Rothmans

neben([_,_,_,marlboro,_], [_,_,wasser,_,_], X), % Der Marlboro-Raucher hat einen Nachbarn, der Wasser trinkt

member([_,N,_,_,fisch], X), % Der mit der Nationalität N hat einen Fisch

write(X), nl, % Ausgabe aller Häuser

write('Der '), write(N),

write(' hat einen Fisch als Haustier.'), nl. % Antwort auf die Frage

</pre></div>

<div class="mw-heading mw-heading2"><h2 id="Definite_Clause_Grammar">Definite Clause Grammar</h2></div>

Um Regeln für <a href="Parser" title="Parser">Parser</a> zu schreiben, haben die meisten Prologsysteme einen <a href="Pr%C3%A4prozessor" title="Präprozessor">Präprozessor</a> implementiert. Er erlaubt es, die Regeln in einer besser lesbaren Form zu notieren, die in der Form den Regeln entsprechen, die verwendet wird, um eine <a href="Kontextfreie_Sprache" title="Kontextfreie Sprache">kontextfreie Sprache</a> zu beschreiben. Der Präprozessor ergänzt Platzhalter und erzeugt die oben erwähnten Prolog-Logik-Formeln. Durch Übergabe weiterer Attribute ist es möglich, mit Definite Clause Grammars auch komplexere Sprachen als die kontextfreien zu beschreiben.

<div class="mw-heading mw-heading2"><h2 id="Prolog_aus_logischer_Sicht">Prolog aus logischer Sicht</h2></div>

Ein Prolog-Programm ist eine geordnete Liste so genannter <a href="Horn-Formel" title="Horn-Formel">Horn-Klauseln</a>, einer eingeschränkten Form der <a href="Pr%C3%A4dikatenlogik" title="Prädikatenlogik">Prädikatenlogik</a> erster Ordnung. Stellt man dem System eine Anfrage (Query), versucht es, diese auf der Grundlage dieser <a href="Datenbasis" title="Datenbasis">Datenbasis</a> mittels <a href="Resolution_(Logik)" title="Resolution (Logik)">Resolution</a> zu beweisen. Das Ergebnis einer Query ist yes oder no. Seine eigentliche <a href="Wirkung_(Informatik)" title="Wirkung (Informatik)">Wirkung</a> entfaltet ein Prolog-Programm streng genommen durch Nebenwirkungen, die während der Beweissuche auftreten. Also kann ein Prolog-System auch als ein sehr effizienter – wenn auch eingeschränkter – automatischer <a href="Maschinengest%C3%BCtztes_Beweisen" title="Maschinengestütztes Beweisen">Theorembeweiser</a> verstanden werden. Die einzige in Prolog eingebaute Suchstrategie bei der Beweisfindung ist <a href="Tiefensuche" title="Tiefensuche">Tiefensuche</a> mit <a href="Backtracking" title="Backtracking">Backtracking</a>.

<div class="mw-heading mw-heading2"><h2 id="Anwendungsgebiete">Anwendungsgebiete</h2></div>

In den 1980er Jahren spielte die Sprache eine wichtige Rolle beim Bau von <a href="Expertensystem" title="Expertensystem">Expertensystemen</a>.

Die Sprache wird heute noch in den Bereichen <a href="Computerlinguistik" title="Computerlinguistik">Computerlinguistik</a> und <a href="K%C3%BCnstliche_Intelligenz" title="Künstliche Intelligenz">Künstliche Intelligenz</a> verwendet. Zum Beispiel sind Sprachverarbeitungskomponenten des durch seinen Auftritt bei <a href="Jeopardy!" title="Jeopardy!">Jeopardy!</a> bekannt gewordenen KI-Systems <a href="Watson_(K%C3%BCnstliche_Intelligenz)" title="Watson (Künstliche Intelligenz)">Watson</a> in Prolog geschrieben.<a href="#cite_note-3">[3]</a> Außerdem gibt es einige kommerzielle Anwendungen im Bereich des Systemmanagements, bei denen asynchrone Ereignisse (Events) mit Hilfe von Prolog oder darauf basierenden proprietären Erweiterungen verarbeitet werden. Ein Beispiel hierzu ist das Produkt <a href="Tivoli_(IBM)" title="Tivoli (IBM)">Tivoli</a> Enterprise Console (TEC) von <a href="IBM" title="IBM">IBM</a>, das auf IBM-Prolog basiert. Der 1986 in Japan von <a href="Sega" title="Sega">Sega</a> veröffentlichte <a href="Sega_AI_Computer" title="Sega AI Computer">Sega AI Computer</a> benutzte Prolog als ins <a href="Read-only-Memory" class="mw-redirect" title="Read-only-Memory">ROM</a> integrierte und somit sofort nach dem Anschalten des Computers nutzbare Programmiersprache.

<div class="mw-heading mw-heading2"><h2 id="Siehe_auch">Siehe auch</h2></div>

<ul><li><a href="Liste_von_Programmiersprachen" title="Liste von Programmiersprachen">Liste von Programmiersprachen</a></li>

<li><a href="Zeittafel_der_Programmiersprachen" title="Zeittafel der Programmiersprachen">Zeittafel der Programmiersprachen</a></li>

<li><a href="Axiom" title="Axiom">Axiom</a>, <a href="Deduktion" title="Deduktion">Deduktion</a></li>

<li><a href="Schnittregel" title="Schnittregel">Schnittregel</a></li>

<li><a href="Erlang_(Programmiersprache)" title="Erlang (Programmiersprache)">Erlang</a> (begann als Prolog-Interpreter, auch die <a href="Syntax" title="Syntax">Syntax</a> ist davon inspiriert, ebenfalls personelle Nähe, denn der Erfinder von Erlang <a href="Joe_Armstrong_(Informatiker)" title="Joe Armstrong (Informatiker)">Joe Armstrong</a> hat am Swedish Institute of Computer Science (SICS) gearbeitet)</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>Rüdeger Baumann: Prolog Einführungskurs. Klett Verlag, 1991, ISBN 3-12-717721-6.</li>

<li>Patrick Blackburn, Johan Bos, Kristina Striegnitz: Learn Prolog Now! College Publications, 2006, ISBN 1-904987-17-6.</li>

<li>David L. Bowen, Lawrence Byrd, Fernando C. N. Pereira, Luís M. Pereira, David H. D. Warren: DECsystem-10 Prolog User’s Manual. Occasional Paper 27, 1982. University of Edinburgh, Department of Artificial Intelligence; <a rel="nofollow" class="external text" href="http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/doc/intro/prolog.doc">cs.cmu.edu</a> (<a href="Microsoft_Word" title="Microsoft Word">MS Word</a>; 192 kB)</li>

<li>Hans Kleine Büning, Stefan Schmittgen: PROLOG: Grundlagen und Anwendungen. B.G. Teubner, Stuttgart 1986, ISBN 3-519-02484-5.</li>

<li>Ivan Bratko: Prolog Programming for Artificial Intelligence. 4. Auflage. Addison-Wesley, Harlow 2012, ISBN 0-321-41746-1.</li>

<li>William F. Clocksin: Clause and Effect. Prolog Programming for the Working Programmer. Springer, Berlin 2005, ISBN 3-540-62971-8.</li>

<li>William F. Clocksin, Christopher S. Mellish: Programming in Prolog. 5. Auflage. Springer, Berlin 2003, ISBN 3-540-00678-8.</li>

<li>Michael A. Covington, Donald Nute, André Vellino: Prolog Programming in Depth. Prentice Hall, 1996, ISBN 0-13-138645-X.</li>

<li>H. Göhner, B. Hafenbrak: Arbeitsbuch PROLOG. Dümmler, Bonn 1995, ISBN 3-427-46863-1.</li>

<li>Richard A. O’Keefe: The Craft of Prolog. MIT Press, Cambridge 1990, ISBN 0-262-15039-5.</li>

<li>Esther König, Roland Seiffert: Grundkurs PROLOG fur Linguisten. UTB Linguistik, 1989, ISBN 3-7720-1749-5.</li>

<li>Leon S. Sterling, Ehud Shapiro: The Art of Prolog. Advanced Programming Techniques. 2. Auflage. MIT Press, Cambridge 1994, ISBN 0-262-69163-9.</li>

<li>Leon S. Sterling: The Practice of Prolog. MIT Press, Cambridge 2003, ISBN 0-262-51445-1.</li>

<li>Gerhard Röhner: Informatik mit Prolog. Amt für Lehrerbildung (AfL), 2007; <a rel="nofollow" class="external text" href="https://arbeitsplattform.bildung.hessen.de/fach/informatik/informatikmitprolog.pdf">bildung.hessen.de</a> (PDF; 4,3 MB).</li>

<li>Wilhelm Weisweber: Prolog. Logische Programmierung in der Praxis. Thomson, 1997, ISBN 3-8266-0174-2.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Tutorials_und_Kurse">Tutorials und Kurse</h3></div>

<div class="sisterproject" style="margin:0.1em 0 0 0;"><div class="noviewer" style="display:inline-block; line-height:10px; min-width:1.6em; text-align:center;" aria-hidden="true" role="presentation"></div><a href="https://de.wikibooks.org/wiki/Prolog" class="extiw external" title="b:Prolog">Wikibooks: Prolog</a> – Lern- und Lehrmaterialien</div>

<ul><li><a rel="nofollow" class="external text" href="http://www.learnprolognow.org/">Learn Prolog Now!</a> Online-Buch mit Prolog-Einführung, auch für Programmieranfänger verständlich geschrieben. (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://www.philipphauer.de/info/info/datenbanken-in-prolog/">Datenbanken in Prolog. Umsetzung von SQL-Abfragen in Prolog.</a></li>

<li><a rel="nofollow" class="external text" href="http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/">Natural Language Processing Techniques in Prolog</a> (englisch)</li></ul>

<div class="mw-heading mw-heading3"><h3 id="Prolog-Implementierungen">Prolog-Implementierungen</h3></div>

<ul><li><a rel="nofollow" class="external text" href="http://www.picat-lang.org/bprolog/">BProlog</a> kommerzielles Prolog-System (kostenlos für Bildung und Forschung) mit Erweiterungen zur Constraintprogrammierung (CLP), <a href="Nebenl%C3%A4ufigkeit" title="Nebenläufigkeit">Nebenläufigkeit</a> und interaktive Graphen</li>

<li><a rel="nofollow" class="external text" href="http://www.gprolog.org/">GNU Prolog</a> Der freie, quelloffene <a href="GNU" title="GNU">GNU</a> Prolog Compiler (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://www.jiprolog.com/">JIProlog</a> ist ein als Shareware erhältlicher kommerzieller Prolog-Interpreter, der ISO-Kompatibilität anstrebt und in <a href="Java_(Programmiersprache)" title="Java (Programmiersprache)">Java</a> (<a href="Java_Platform%2C_Standard_Edition" title="Java Platform, Standard Edition">J2SE</a>, <a href="Java_Platform%2C_Micro_Edition" title="Java Platform, Micro Edition">J2ME</a>) läuft</li>

<li><a rel="nofollow" class="external text" href="https://prolog.codeplex.com/">Prolog.NET</a> Prolog-Entwicklungsumgebung für das <a href=".Net-Framework" title=".Net-Framework">.Net-Framework</a> (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://www.sics.se/isl/sicstuswww/site/index.html">SICStus Prolog</a> kommerzielles, ISO-kompatibles Prolog-System vom Swedish Institute of Computer Science, erlaubt z. B. <a href="Constraintprogrammierung" title="Constraintprogrammierung">Constraintprogrammierung</a> (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://www.swi-prolog.org/">SWI-Prolog</a> freies, quelloffenes (<a href="GNU_Lesser_General_Public_License" title="GNU Lesser General Public License">LGPL</a>), umfassendes ISO-kompatibles Prolog-System mit gutem <a href="Online-Community" title="Online-Community">Community</a>-Support (inkl. <a href="Editor_(Software)" title="Editor (Software)">Editor</a>, <a href="Debugger" title="Debugger">Debugger</a>, <a href="Profiler_(Programmierung)" title="Profiler (Programmierung)">Profiler</a> und zahlreichen <a href="Programmbibliothek" title="Programmbibliothek">Programmbibliotheken</a>; englisch)</li>

<li><a rel="nofollow" class="external text" href="http://apice.unibo.it/xwiki/bin/view/Tuprolog/">tuProlog</a> ist ein freier, quelloffener (LGPL) Interpreter für eine Untermenge von Prolog in <a href="Java_(Programmiersprache)" title="Java (Programmiersprache)">Java</a> (<a href="Java_Platform%2C_Standard_Edition" title="Java Platform, Standard Edition">J2SE</a>, <a href="Java_Platform%2C_Micro_Edition" title="Java Platform, Micro Edition">J2ME</a>) und .NET</li>

<li><a rel="nofollow" class="external text" href="http://www.dcc.fc.up.pt/~vsc/Yap/">YAP Prolog</a> freier, quelloffener, schneller, ISO-kompatibler Prolog-Interpreter</li>

<li><a rel="nofollow" class="external text" href="http://sourceforge.net/projects/cs-prolog/">C# Prolog</a>, freier, quelloffener Prolog-Interpreter</li></ul>

<div class="mw-heading mw-heading3"><h3 id="An_Prolog_orientierte_logische_Programmiersysteme">An Prolog orientierte logische Programmiersysteme</h3></div>

<ul><li><a rel="nofollow" class="external text" href="http://ciao-lang.org/">Ciao</a> frei, quelloffen (LGPL), implementiert ISO Prolog, hat Spracherweiterungen für variable Prädikate (HiLog), <a href="Constraintprogrammierung" title="Constraintprogrammierung">constraintbasierte</a>, <a href="Objektorientierte_Programmierung" title="Objektorientierte Programmierung">objektorientierte</a> und <a href="Nebenl%C3%A4ufigkeit" title="Nebenläufigkeit">nebenläufige</a> Programmierung (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://www.eclipseclp.org/">ECLiPSe Constraint Programming System</a> frei, quelloffen (<a href="Mozilla_Public_License" title="Mozilla Public License">MPL</a>), Prolog-basiert mit Erweiterungen für Constraintprogrammierung und zusätzliche Suchstrategien (englisch)</li>

<li><a rel="nofollow" class="external text" href="https://logtalk.org/">Logtalk</a> ist eine freie, quelloffene (<a href="Artistic_License" title="Artistic License">Artistic License</a> 2.0) objektorientierte logische Programmiersprache (englisch)</li>

<li><a href="Mercury_(Programmiersprache)" title="Mercury (Programmiersprache)">Mercury</a>, eine stark an Prolog angelehnte Programmiersprache, vereint Elemente aus der <a href="Funktionale_Programmierung" title="Funktionale Programmierung">funktionalen</a> und der logischen Programmierung (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://www.cs.bham.ac.uk/research/projects/poplog/freepoplog.html">Poplog</a> ist eine freie, quelloffene (<a href="XFree86" title="XFree86">XFree86</a>-Lizenz), integrierte, interaktive Programmierumgebung mit inkrementellen <a href="Compiler" title="Compiler">Compilern</a> für die Sprachen POP-11, Prolog, <a href="Common_Lisp" title="Common Lisp">Common Lisp</a> und <a href="Standard_ML" title="Standard ML">Standard ML</a>, die nicht nur multiparadigmatisches Programmieren, sondern auch das Mischen dieser Programmiersprachen ermöglicht (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html">QuProlog</a> – ein erweiterter, freier Prolog-Compiler, der v. a. zum Implementieren interaktiver Theorembeweiser dient (englisch)</li>

<li><a rel="nofollow" class="external text" href="http://xsb.sourceforge.net/">XSB</a> freies, quelloffenes (LGPL), »fast« ISO-Prolog-kompatibles logisches Programmiersystem mit über Prolog hinausgehenden Spracherweiterungen (HiLog; volle, <a href="Memoisation" title="Memoisation">tabulierte</a> <a href="Resolution_(Logik)" title="Resolution (Logik)">Resolution</a>; erweitertes <a href="Pattern_Matching" title="Pattern Matching">Pattern Matching</a>) und Bibliotheken für <a href="Grafische_Benutzeroberfl%C3%A4che" title="Grafische Benutzeroberfläche">GUI</a>-Programmierung, <a href="F-Logic" title="F-Logic">F-Logic</a> und <a href="Ontologie_(Informatik)" title="Ontologie (Informatik)">Ontologie</a>-Verarbeitung (englisch)</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise_und_Anmerkungen">Einzelnachweise und Anmerkungen</h2></div>

<li id="cite_note-1"><a href="#cite_ref-1">↑</a> A. Colmerauer und P. Roussel: <a rel="nofollow" class="external text" href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.85.7438&rep=rep1&type=pdf">The birth of prolog. History of programming languages II.</a> (PDF; 2,1 MB) ist.psu.edu, 1996, S. 331–367.

</li>

<li id="cite_note-c+m-2"><a href="#cite_ref-c+m_2-0">↑</a> In Ermangelung einer formalen Spezifikation für Edinburgh Prolog wurde meist das DEC-10 PROLOG Manual von Bowen u. a. (1982) oder Programming in Prolog von Clocksin und Mellish herangezogen.

</li>

<li id="cite_note-3"><a href="#cite_ref-3">↑</a> Adam Lally, Paul Fodor: <a rel="nofollow" class="external text" href="https://web.archive.org/web/20140903064037/http://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/">Natural Language Processing With Prolog in the IBM Watson System.</a> The Association for Logic Programming, 31. März 2011, archiviert vom <style data-mw-deduplicate="TemplateStyles:r250917974">

/* start https://de.wikipedia.org/ */

.mw-parser-output .dewiki-iconexternal>a{background-position:center right!important;background-repeat:no-repeat!important}body.skin-minerva .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/OOjs_UI_icon_external-link-ltr-progressive.svg")!important;background-size:10px!important;padding-right:13px!important}body.skin-timeless .mw-parser-output .dewiki-iconexternal>a,body.skin-monobook .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/MediaWiki_external_link_icon.svg")!important;padding-right:13px!important}body.skin-vector .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/Link.ernal-small-ltr-progressive.svg")!important;background-size:0.857em!important;padding-right:1em!important}

/* end https://de.wikipedia.org/ */

</style><a class="external text" href="https://redirecter.toolforge.org/?url=http%3A%2F%2Fwww.cs.nmsu.edu%2FALP%2F2011%2F03%2Fnatural-language-processing-with-prolog-in-the-ibm-watson-system%2F">Original</a> (nicht mehr online verfügbar) am 3. September 2014; abgerufen am 18. Oktober 2001 (englisch).  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.<a rel="nofollow" class="external text" href="http://IABotmemento.invalid/http://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/">@1</a><a rel="nofollow" class="external text" href="http://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/">@2</a>Vorlage:Webachiv/IABot/www.cs.nmsu.edu<span style="display: none;" class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2Fde.wikipedia.org%3AProlog+%28Programmiersprache%29&rft.title=Natural+Language+Processing+With+Prolog+in+the+IBM+Watson+System&rft.description=Natural+Language+Processing+With+Prolog+in+the+IBM+Watson+System&rft.identifier=https%3A%2F%2Fweb.archive.org%2Fweb%2F20140903064037%2Fhttp%3A%2F%2Fwww.cs.nmsu.edu%2FALP%2F2011%2F03%2Fnatural-language-processing-with-prolog-in-the-ibm-watson-system%2F&rft.creator=Adam+Lally%2C+Paul+Fodor&rft.publisher=The+Association+for+Logic+Programming&rft.date=2011-03-31&rft.source=http://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/&rft.language=en">

</li>

</ol></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-07-31" href="https://de.wikipedia.org/wiki/?title=Prolog_(Programmiersprache)&oldid=258454365">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>